Une approche pour la maintenance et la ré-ingénierie globale des logiciels
نویسنده
چکیده
ion Objets structu és Objets dérivés Abstractions Objets générés Abstraction Objets structu és Objets dérivés Représentations Objets générés Abstraction Objets structu és Objets dérivés Opérations
منابع مشابه
Mélusine. Un environnement de modélisation et de coordination de services
RÉSUMÉ. La construction de logiciels à partir de plusieurs applications différentes et hétérogènes est de plus en plus fréquente. Cependant, il n’existe pas à présent une méthodologie de construction pour de tels logiciels. Dans cet article, nous proposons une architecture qui permet de créer des logiciels en faisant collaborer plusieurs services et applications différentes et hétérogènes, util...
متن کاملLa combinaison d'UML avec la méthode formelle CSP-OZ pour le développement d'applications bases des données
Les méthodes utilisées pour la spécification et le développement d’applications de bases de données sont basées soit sur les notations graphiques (appelées méthodes semi-formelles) soit sur des notations mathématiques (appelées méthodes formelles). Les méthodes semi-formelles (E-R, UML, OMT,...) (Jacobson et al., 2005) permettent une représentation intuitive et synthétique du système à étudier....
متن کاملDétection visuelle d'anomalies de conception
Résumé. De nos jours, les logiciels doivent être flexibles pour pouvoir accommoder d’éventuels changements. Les anomalies de conception introduites durant l’évolution du logiciel causent souvent des difficultés de maintenance. Cependant, la détection d’anomalies de conception n’est pas triviale. La détection manuelle est coûteuse en temps et en ressources, alors que la détection automatique gén...
متن کاملUn langage de contexte de preuve pour la validation formelle de modèles logiciels
Résumé. Pour améliorer les pratiques dans le domaine de la validation formelle de modèles, nous explorons un axe de recherche dans lequel nous formalisons la notion de « contexte de preuve » intégrant la description du comportement de l’environnement interagissant avec le modèle et les propriétés à vérifier dans ce contexte. L'article présente le langage CDL (Context Description Language) propo...
متن کاملSystème multi-agent argumentatif pour la classification des connaissances cruciales
Résumé. Dans cet article, nous proposons une approche multi-agent argumentative permettant d’automatiser la résolution des conflits entre décideurs dans un système d’aide à l’identification des connaissances cruciales nommé K-DSS. En effet, des divergences concernant la crucialité des connaissances peuvent apparaître entre les décideurs et aboutir ainsi à des incohérences dans la base commune d...
متن کامل